Caetano and Schulz Reply:

Vedāntic view of life: Reply to Gustavo Caetano-Anollés

The author would like to thank Professor Gustavo Caetano-Anollés from Department of Crop Sciences, University of Illinois for his interest in his work. We may sometimes observe that there is a noticeable difference between the anecdote people narrate about the implications of a scientific paper and the real conclusion of the paper. Prof. Gustavo Caetano-Anollés's response(1) is an ideal example...

Artur Caetano

Business activities within the organization are performed by a number of human or automated actors. For the organization to adapt to internal or external changes it must be able to understand how and why actors are related to and assigned to processes. This requires a consistent representation of the services required by the organization’s processes and those provided by its actors. This paper ...

Caetano Reis e Sousa: harnessing DC power

DCs can either magnify or mute immunity by sampling antigens throughout body and presenting them to lymphocytes in combination with secondary signals that either activate or tolerize the responding cell. This quality, which makes DCs a handy weapon against both cancer and autoimmune disease, spurred Caetano Reis e Sousa to dissect the pathways that control different DC functions. Reis e Sousa f...

The Authors’ Reply

System Description : E 1 . 8 Stephan Schulz

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...